#ifndef SCHED_TYPES_H
#define SCHED_TYPES_H
typedef s64 s_time_t;
#endif
